Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
661	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-21 03:49:15 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
662	Chapter 15 Engineering and Debugging an App HelloPurr, MoleMash, and the other apps covered in this book’s early chapters are relatively small Add to Reading List Source URL: www.appinventor.org Language: English Debugging Google App Inventor Variable Logic Pro Software bug Block Software engineering Computing Computer programming
663	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
664	TM Traveling Circuits Lesson 3 MY ROBOTIC FRIENDS Add to Reading List Source URL: csedweek.org Language: English - Date: 2014-12-01 14:28:12 Mathematical logic Stack Robot Subroutine Algorithm Computer programming Computing Software engineering
665	Disjunctive Interpolants for Horn-Clause Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 14:09:22 Logic in computer science Logic programming Automated theorem proving Rules of inference Craig interpolation Interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
666	Introduction Comprehensions in CHR cp Monotonicity Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-09 18:57:09 Computer programming Functional languages Constraint Handling Rules Constraint logic programming Pure Monad Multiset Declarative programming Software engineering Constraint programming
667	Proofs in theories Gilles Dowek Draft, September 2013 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-25 05:47:28 Proof theory Dependently typed programming Type theory Logic in computer science Natural deduction Curry–Howard correspondence Theorem Mathematical proof Brouwer–Heyting–Kolmogorov interpretation Logic Mathematics Mathematical logic
668	Alameda County Local Application Process For the 2015 HUD Continuum of Care NOFA FREQUENTLY ASKED QUESTIONS EveryOne Home has received several questions concerning the HMIS Data Completeness Report, to which Bowman Syste Add to Reading List Source URL: www.everyonehome.org Language: English - Date: 2015-05-05 12:47:23 Mathematical logic Metalogic Proof theory Logic Data quality ALGOL 68 Data cleansing Report card Mathematics Programming language theory Completeness
669	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory
670	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering

UPDATE